Fluent temporal logic for discrete-time event-based models

Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-based and state-based formalisms is defined through fluents which are state predicates whose value are determined by the occurrences of initiating and terminating events that make the fluents values become true or false, respectively. The existing fluent temporal logic is convenient for reasoning about untimed event-based models but difficult to use for timed models. The paper extends fluent temporal logic with temporal operators for modelling timed properties of discrete-time event-based models. It presents two approaches that differ on whether the properties model the system state after the occurrence of each event or at a fixed time rate. Model checking of timed properties is made possible by translating them into the existing untimed framework. Copyright 2005 ACM

Characterization and seasonal variation of the quality of virgin olive oil of the Throumbolia and Koroneiki varieties from southern Greece

Extra virgin olive oil was produced from olives of the two main varieties cultivated in the region of Rethymnon in the Greek island of Crete named “Throumbolia”, and “Koroneiki”. The former is very famous due to the natural way of fruit debittering, while the latter is the most common olive variety cultivated in Northern Greece. The olives were harvested at three successive stages of ripening according to their skin color and the extra virgin olive oil was extracted using an experimental olive oil extraction mill at 30ºC. Peroxide value, UV absorption, acidity, fatty acid content and total polyphenols were measured and the contents of tyrosol, hydroxytyrosol 3,4- DHPEA-EDA, p-HPEA-EDA and 3,4-DHPEA-EA were determined by HPLC. The sterol fraction and the volatile component profile were determined by GC and SPME GC/MS, respectively. Throumbolia olive oil presented an extremely higher content of β-sitosterol and linoleic acid (n6) in comparison to the Koroneiki variety. The concentration of linoleic acid decreased in olive oils produced from both varieties in contrast to oleic acid which increased at the same time. Furthermore, the content of OH-tyrosol was higher, while the content of 3, 4-DHPEA-EDA and the total polyphenols was lower in Throumbolia olive oil than in olive oil produced from the Koroneiki variety. In general, significant differences were observed in all parameters between the olive oils produced from the two varieties during different stages of maturation.<br><br>Aceite de oliva virgen extra fue producida con aceitunas de las dos principales variedades cultivadas en la región de Rethymnon en la isla de Creta denominadas “Throumbolia” y “Koroneiki”. La primera es una variedad muy famosa debido a la falta de amargor natural de su fruto, mientras que la última es la variedad más común de aceitunas cultivada en el norte de Grecia. La aceitunas fueron cosechadas en tres estados sucesivos de maduración de acuerdo al color de su piel y el aceite de oliva virgen extra fue extraído en una almazara experimental a 30ºC. El indice de peróxides, la absorción UV, la acidez, el contenido en ácidos grasos y los polifenoles totales fueron medidos y los contenidos de tyrosol, hydroxytyrosol 3,4- DHPEA-EDA, p-HPEA-EDA y 3,4-DHPEA-EA fueron determinados por HPLC. La fracción de esteroles y el perfil de los componentes volátiles fueron analizados por GC y SPME GC/MS, respectivamente. El aceite de olovas de Throumbolia presentó un contenido extremadamente más alto de β-sitosterol y ácido linoleico (n6) que la variedad koroneiki. La concentración del ácido linoleico decrecio en ambas variedades, a diferencia del ácido oleico que presentó un incremento al mismo tiempo. Además, el contenidode OH-tyrosol fue más alto, mientras que el contenido de 3,4-DHPEA-EDA y los fenoles totales fueron más bajo, en aceite de oliva de Throumbolia que en el aceite de oliva producido por la variedad Koroneiki. En general, diferencias significativas fueron observadas en todos los parámetros entre los aceites de oliva producidos por las dos variedades durante las diferentes etapas de maduración

MPOK: modeling and generating Smalltalk data management code

This paper describes a novel approach for generating Smalltalk data management code of CAD design tools automatically from abstract models. Instead of providing this code in form of a library, we favor to apply the reuse concept at modeling level. The data management part that is common to all design tools of a design system is described by an easy understandable base model. This base model is customized for each individual tool to meet the tool-specific requirements. Then, the customized model is input to a code generator that automatically generates tool specific, optimized source code. A generic modeling tool and several code generator are implemented in a software generation environment called MOOSE. MOOSE is able to generate the code of many components of the CAD design tools. This paper gives an overview of MOOSE and describes one of the generators in more detail. We show the generation of Smalltalk code for data management components from an Extended Entity-Relationship Model. (orig.)Available from TIB Hannover: RR 7261(96,11) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerman